中英
1
automatic theorem proving中文是什么意思
发音:
- 中文翻译
- 造句
- 自动定理证明
- automatic adj. 1.自动的；机械的。 2.【生理】自动性的，无 ...
- theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- prove vt. ( -d; -d, 〔古、美〕 proven ) ...
- theorem proving 定理证明
- automated theorem proving 自定理明; 自动定理证明
- mechanical theorem proving 机器证明
- non-resolution theorem proving 非解析定理求解
- proving fermat’s last theorem 证明费马最后定理
- resolution theorem proving 归结定理证明消解式定理证明
- resolution theorem-proving 解析定理证明
- theorem proving machine 定理证明机
- theorem proving representation 定理证明表示
- theorem proving technique 定理证明技术
- be proving 看来是……
- proving 检验的; 药力试验
- s theorem 贝叶斯定理
- theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
- block proving 闭塞检查
- correspondence proving 符合检查; 照应确认
- cross proving 相互检查
- elementary proving 基本标定
- field proving 现场标定
- full proving 全项目标定
- initial proving 初始检定
- on-line proving 在线标定
- A member of the herbrand base is called atom in automatic theorem proving
在自动定理证明中,海尔勃朗基的成员也称为原子。
- 推荐英语阅读
automatic theorem proving的中文翻译，automatic theorem proving是什么意思，怎么用汉语翻译automatic theorem proving，automatic theorem proving的中文意思，automatic theorem proving的中文，automatic theorem proving in Chinese，automatic theorem proving的中文，automatic theorem proving怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。
Last modified time:Sun, 10 Aug 2025 00:29:56 GMT
相邻词汇
"automatic testing equipment"什么意思"automatic testing machine"什么意思"automatic text"什么意思"automatic text categorization"什么意思"automatic texture analysis system"什么意思"automatic thermal regulator"什么意思"automatic thermal type fire-alarm"什么意思"automatic thermo type fire alarm"什么意思"automatic thermohygrograph"什么意思
关于我们
